effective computable

A term describing a {function} for which there is an

{effective algorithm} that correctly calculates the function.

The algorithm must consist of a {finite} sequence of

instructions.

(1996-05-03)